Geolog: Scalable Logic Programming on Spatial Data

Spatial data is ubiquitous in our data-driven society. The Logic Programming community has been investigating the use of spatial different settings. Despite success this research, Geographic Information System (GIS) rarely made these new approaches. This mainly two reasons. First, there a lack tools that tightly integrate logical reasoning into state-of-the-art GIS software. Second, scalability solutions often not tested and hence, some might work on toy examples but do scale well to real-world main contributions paper are (1) Relation Based paradigm, expressing rules relations instead individual entities, (2) Geolog, tool for spatio-logical can be installed top ArcMap, which an industry standard GIS. We evaluate paradigm four scenarios show up orders magnitude performance gain achieved compared prevalent Entity paradigm.